A Newman-Penrose Calculator for Instanton Metrics

摘要

We present a Maple11+GRTensorII based symbolic calculator for instantonmetrics using Newman-Penrose formalism. Gravitational instantons are exactsolutions of Einstein's vacuum field equations with Euclidean signature. TheNewman-Penrose formalism, which supplies a toolbox for studying the exactsolutions of Einstein's field equations, was adopted to the instanton case andour code translates it for the computational use.